((v1 v2 6) (v1 v3 9) (v2 v3 2))
31
((v1 v2))